More from this Author

Logic Programming

by Saumya Debray (Editor), Manuel Hermenegildo (Editor)

Static Analysis

by Manuel Hermenegildo (Editor), German Puebla (Editor)

Verification, Model Checking, and Abstract Interpretation

by Gilles Barthe (Editor), Manuel Hermenegildo (Editor)

Functional and Logic Programming

by Jacques Garrigue (Editor), Manuel Hermenegildo (Editor)